Supertypes: number
A double — that is, an IEEE 754 double-precision floating point number — is an approximation of a real number. The representation uses 64 binary digits, hereinafter bits, organized as 1 sign bit, 52 bits of mantissa, and 11 bits of exponent. The sign bit distinguishes positive (sign bit = 0) and negative (sign bit = 1) values. The mantissa encodes the significant binary digits of the number. The exponent scales the mantissa by a particular power of 2. Finite double values range from
-1.79769313486231570e+308
to 1.79769313486231570e+308
. The closest to zero nonzero double values are ±4.94065645841246544e-324
. Positive zero ({@code 0.0 }) and negative zero ({@code -0.0 }) are considered distinct. Infinities are supported, but indicate an overflow of representational limits (rather than ±∞
). Some encodings do not represent real values; such a value is a not-a-number ({@code NaN }). No two differing NaN
encodings are considered equal. This is a departure from a strict interpretation of IEEE 754. In Avail, a literal double begins with one or more decimal digits, contains a full stop .
(U+002E) and fractional part, and optionally ends with exponential notation — an E
(U+0045) or e
(U+0065) followed by one or more decimal digits.
Though double
numerically subsumes float, they are considered siblings because their values differ by internal representation. double
is not a supertype of float. No float value is also a double value, and no double value is also a float value.